Concurrency control - PDFSEARCH.IO - Document Search Engine

Concurrency control
Results: 1488

#	Item
361	Instrumentation and Sampling Strategies for Cooperative Concurrency Bug Isolation ∗ Guoliang Jin Aditya Thakur Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2010-10-25 14:16:29 Software engineering Grammar Predicate Semantics Thread safety Commodity channel index Monitor Sampling Software bug Logic Concurrency control Mathematical logic
362	Warp: Lightweight Multi-Key Transactions for Key-Value Stores Robert Escriva†, Bernard Wong‡ , Emin G¨un Sirer† † Computer Science Department, Cornell University ‡ Cheriton School of Computer Science, Universi Add to Reading List Source URL: hyperdex.org Language: English - Date: 2013-11-16 15:09:41 Information Concurrency control Databases Database management systems Commitment ordering Serializability Isolation ACID Extensible Storage Engine Transaction processing Data management Data
363	CGCExplorer: A Semi-Automated Search Procedure for Provably Correct Concurrent Collectors Martin T. Vechev Cambridge University Eran Yahav Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2007-04-10 10:02:52 Concurrency control Applied mathematics Garbage collection Linearizability Algorithm Mutator method Reference counting Lock Time complexity Computing Theoretical computer science Memory management
364	Automated Atomicity-Violation Fixing ∗ Guoliang Jin Linhai Song Wei Zhang Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2011-07-05 11:53:12 Data management Lock Software bug Deadlock Linearizability Linux kernel Mutual exclusion Parallel computing Debugging Concurrency control Computing Software
365	An Almost NonBlocking Stack Hans-J. Boehm HP Labs © 2004 Hewlett-Packard Development Company, L.P. The information contained herein is subject to change without notice Add to Reading List Source URL: hboehm.info Language: English - Date: 2014-02-06 19:37:32 Computer programming Mutual exclusion Non-blocking algorithm Hazard pointer Pointer ABA problem Thread Stack X86-64 Computing Concurrency control Software engineering
366	Programming Language Memory Models: What do Shared Variables Mean? Hans-J. Boehm Add to Reading List Source URL: hboehm.info Language: English - Date: 2014-02-06 19:37:32 Concurrent computing Java platform Computer memory Parallel computing Thread Java Memory Model Lock Linearizability Memory model Computing Transaction processing Concurrency control
367	Predicting the Scalability of an STM A Pragmatic Approach Aleksandar Dragojevi´c Rachid Guerraoui Add to Reading List Source URL: infoscience.epfl.ch Language: English - Date: 2011-07-09 03:46:32 Data management Theoretical computer science Numerical analysis Programming language implementation Software transactional memory Interpolation Parallel computing P Thread Concurrency control Computing Transaction processing
368	Threads Cannot be Implemented as a Library Hans-J. Boehm HP Laboratories Add to Reading List Source URL: hboehm.info Language: English - Date: 2014-02-06 19:37:32 Parallel computing Computer memory Concurrency control Threads Concurrency Thread Memory barrier POSIX Threads Java Memory Model Computing Concurrent computing Software engineering
369	A Library for Removing Cache-based Attacks in Concurrent Information Flow Systems Pablo Buiras1 , Amit Levy2 , Deian Stefan2 , Alejandro Russo1 , and David Mazi`eres2 1 Add to Reading List Source URL: www.amitlevy.com Language: English - Date: 2013-09-13 15:42:52 Adjoint functors Functional programming Control flow Central processing unit Concurrency control Monad Scheduling Parallel computing Thread Computing Software engineering Computer programming
370	Implementation and Evaluation of Moderate Parallelism in the BIND9 DNS Server JINMEI, Tatuya / Toshiba Paul Vixie / Internet Systems Consortium [Supported by SCOPE of the Ministry of Internal Affairs Add to Reading List Source URL: www.jinmei.org Language: English - Date: 2006-06-10 10:10:18 Computer programming Lock Thread Busy waiting C dynamic memory allocation Root name server Name server Computing Concurrency control Domain name system

UPDATE